Simple Involutive Quantales
نویسندگان
چکیده
منابع مشابه
The Bicategory of m-regular Involutive Quantales
Recently the theory of Morita equivalence for involutive quantales and the notion of the interior tensor products of Hilbert modules over involutive quantales evolved considerably (see e.g. Paseka, 2002 and Paseka, 2001). The present paper is an attempt to put a part of this theory in a broader context of the bicategory of m-regular involutive quantales. For facts concerning quantales in genera...
متن کاملOn Simple and Semisimple Quantales
In a recent paper [7], J. W. Pelletier and J. Rosický published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka in [5]. In this paper we present similar characterizations which do not use a notion of discrete quantale. We also show a completely new characterization based on separating and cyclic sets. Further we explain a link...
متن کاملModules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally generated module satisfying a suitable symmetry condition we observe the existence of a canonical Hilbert structure. We prove that, when worki...
متن کاملInvolutive Directions and New Involutive Divisions
In this paper, we propose the concept of involutive direction ss a vector representation for the concept of involutive division proposed by Gerdt and hi co-workers. With this representation, most of the properties of involutive divisions such as Noetherity, Artinity, and constructivity, can be greatly simplified. A new algorithm to compute the involutive completion is also given. Based on the v...
متن کاملQuantales and Observational Semantics
We illustrate the idea that quantales can be regarded as algebras of experimental observations on physical systems, and we give a survey of some research in computer science where this idea has been used. We extend the mathematical framework hitherto available so that it can be applied to more general systems than before, in particular to quantum systems and systems whose behaviour is partially...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1997
ISSN: 0021-8693
DOI: 10.1006/jabr.1997.7051